Nuprl Definition : nat
9,38
postcript
pdf
== {
i
:
| 0
i
}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
,
A
B
,
#$n
FDL editor aliases
nat
origin
== {i:
| 0 
i} == {i:| 0 i} B